Metadata
aliases: []
shorthands: {}
created: 2021-11-21 13:46:56
modified: 2022-01-10 04:13:03
is a representation of a group , is one of its irreducible representations, and .
Then the operator is defined like this:
Properties
- ( is the "regular" projector)
- , i.e. the multiplicity of in , a clear advantage over